RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

OctoberData Design Challenges and Opportunities for NYC BetaNYC Community Boards

Source URL: beta.nyc

• Government of New York City
• Borough president
• Community boards of New York City
• National Telecommunications and Information Administration
• Participatory budgeting
• Business process management
• Economy
• Government
• United States

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: incarnate.uwplse.org

• 3D computer graphics
• Computer graphics
• Computer-aided engineering
• Polygon mesh
• STL
• Constructive solid geometry
• 3D modeling
• Mesh
• Geometry processing

Lina Vincent Sunish Associate Curator India Website: www.artport-project.org Lina Vincent Sunish is an art historian and curator with over 15 years experience in research, design, curatio

Source URL: artport-project.org

• Waswo X. Waswo
• National Gallery of Modern Art
• Bangalore
• NGMA
• Goa

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Errata Slip In the paper “Exploiting a Natural Network Effect for Scalable, Fine-grained Clock Synchronization” by

Source URL: www.usenix.org

• Synchronization
• Clock synchronization
• Clocks
• Granularity
• Fairness measure
• Clock signal

Design and status of the Mu2e crystal calorimeter N. Atanov, V. Baranov, J. Budagov, Yu. I. Davydov, V. Glagolev, V. Tereshchenko, Z. Usubov Joint Institute for Nuclear Research, Dubna, Russia F. Cervelli, S. Di Falco, S

Source URL: muse.lnf.infn.it

1 Cross Coupled Iterative Learning Control of Systems with Dissimilar Dynamics via Coupled Filter Shaping: Design and Implementation Kira L. Barton, Member, IEEE and David J. Hoelzle,” Member,” IEEE and Andrew G. Al

Source URL: dcas.gist.ac.kr

The Turkish Online Journal of Design, Art and Communication - TOJDAC January 2013 Volume 3 Issue 1   ADVERGAMING ve MARKA İLİŞKİSİ Hicran Özlem ILGIN

Source URL: www.tojdac.org

SPARC-CSOctober 10, 2012 THE SPARC LOW LEVEL RF CONTROL SYSTEM DESIGN AND OPERATIONAL REFERENCE Marco Bellaveglia

Source URL: www.lnf.infn.it